Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
381	Component Behavior Synthesis for Critical Systems, Tobias Eckardt and Stefan Henkler Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Warburger Str. 100, Paderborn, Germany {tobie,shenkler Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:38:10 Horology Constraint automaton Automata theory Cellular automata Clock
382	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
383	Regular tree language recognition with static information Alain Frisch D´epartement d’Informatique ´ Ecole Normale Sup´erieure, Paris, France Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Ω-automaton Automata theory Symbol Tree automaton
384	Yuval Filmus Curriculum Vitæ Í 117 Oppenheimer Ln Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-31 15:18:39 Fellows of the Royal Society International Colloquium on Automata Languages and Programming Automated theorem proving Toniann Pitassi Daniel Filmus Symposium on Foundations of Computer Science Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Combinatorics Theoretical computer science Applied mathematics Computational complexity theory
385	A Mechanism to Optimally Balance Cost and Quality of Labeling Tasks Outsourced to Strategic Agents Satyanath Bhat Indian Institute of Science Bangalore, India Add to Reading List Source URL: aamas2014.lip6.fr Language: English - Date: 2014-04-28 03:36:49 Q-analogs Group theory Automata theory
386	Plan B: An Operating System for Ubiquitous Computing Laboratorio de Sistemas http://lsub.org/who/ Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 10:42:13 Automata theory DEVS
387	Uriel Feige, Publications, JanuaryPapers are sorted by categories. For papers that have more than one version (typically, journal version and conference proceedings), the diﬀerent versions are combined into one Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-02 09:14:39 Uriel Feige NP-complete problems Computational complexity theory Adi Shamir Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Approximation algorithm Uriel Theoretical computer science Applied mathematics Mathematics
388	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
389	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
390	Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-17 18:08:03 Theoretical computer science Computer science Finite-state machine Turing machine Pushdown automaton Deterministic finite automaton Nondeterministic finite automaton State Read-only Turing machine Models of computation Theory of computation Automata theory

UPDATE